package automatica;

import java.io.File;
import java.util.Vector;

import automatica.upgrade.TheoremGenerater;
import automatica.upgrade.TheoremGenerater1;
import prefuse.data.Table;

public class test {
	public static void main(String[] argss){
		/*
		 String type = "endpoint(segment(Point,Point))";
		 TypeIndex index = new TypeIndex();
		 index.initialize(new File("D:\\Workspace1\\GeoTransformer\\geometryTransformation\\temp\\script.xml"));
		 index.print();
		 Table nodes = index.generateNodes();
		 Vector<Type> fathers = new Type(type).getFatherTypesFromIndex(index);
		 for(int i = 0 ; i<fathers.size(); i++){
			 System.out.println("Result: " + fathers.get(i).getValue());
		 }
		 */
		new TheoremGenerater1("CMD/steiner_CMD.txt","INT/steiner_INT.txt","GDL/steiner_GDL.txt");
//		new TheoremGenerater1("CMD/butterfly_CMD.txt","INT/butterfly_INT.txt","GDL/butterfly_GDL.txt");
//		new TheoremGenerater1("CMD/simson_CMD.txt","INT/simson_INT.txt","GDL/simson_GDL.txt");
//		new TheoremGenerater1("CMD/TrianOrthcenter_CMD.txt","INT/TrianOrthcenter_INT.txt","GDL/TrianOrthcenter_GDL.txt");		
//		new TheoremGenerater1("CMD/TrianCentroid_CMD.txt","INT/TrianCentroid_INT.txt","GDL/TrianCentroid_GDL.txt");
//		new TheoremGenerater1("CMD/TrianIncenter_CMD.txt","INT/TrianIncenter_INT.txt","GDL/TrianIncenter_GDL.txt");
//		new TheoremGenerater1("CMD/TrianCircumcenter_CMD.txt","INT/TrianCircumcenter_INT.txt","GDL/TrianCircumcenter_GDL.txt");
//		new TheoremGenerater1("CMD/morley_CMD.txt","INT/morley_INT.txt","GDL/morley_GDL.txt");
//		new TheoremGenerater1("CMD/thales_CMD.txt","INT/thales_INT.txt","GDL/thales_GDL.txt");
//		new TheoremGenerater1("CMD/TrianEscenter_CMD.txt","INT/TrianEscenter_INT.txt","GDL/TrianEscenter_GDL.txt");
//		new TheoremGenerater1("CMD/brahmagupta_CMD.txt","INT/brahmagupta_INT.txt","GDL/brahmagupta_GDL.txt");
//		new TheoremGenerater1("CMD/feuerbach_CMD.txt","INT/feuerbach_INT.txt","GDL/feuerbach_GDL.txt");
//		new TheoremGenerater1("CMD/pappus_cmd.txt","INT/pappus_INT.txt","GDL/pappus_GDL.txt");
//		new TheoremGenerater1("CMD/pascal_cmd.txt","INT/pascal_INT.txt","GDL/pascal_GDL.txt");
//		new TheoremGenerater1("CMD/newton1_CMD.txt","INT/newton1_INT.txt","GDL/newton1_GDL.txt");
//		new TheoremGenerater1("CMD/newton2_CMD.txt","INT/newton2_INT.txt","GDL/newton2_GDL.txt");
//		
////		//failed
////
//		new TheoremGenerater1("CMD/echols_cmd.txt","INT/echols_INT.txt","GDL/echols_GDL.txt");
//		
//		new TheoremGenerater1("CMD/jsteiner_cmd.txt","INT/jsteiner_INT.txt","GDL/jsteiner_GDL.txt");
//		
//		new TheoremGenerater1("CMD/desargue_cmd.txt","INT/desargue_INT.txt","GDL/desargue_GDL.txt");
//
//		new TheoremGenerater1("CMD/C.J.BrainChon_CMD.txt","INT/brainChon_INT.txt","GDL/brainChon_GDL.txt");
//
//		
//		new TheoremGenerater1("CMD/Theorem1_CMD.txt","INT/Theorem1_INT.txt","GDL/Theorem1_GDL.txt");
//		
//		new TheoremGenerater1("CMD/trapezoid_CMD.txt","INT/trapezoid_INT.txt","GDL/trapezoid_GDL.txt");
//		
//		new TheoremGenerater1("CMD/thebault2_CMD.txt","INT/thebault2_INT.txt","GDL/thebault2_GDL.txt");
//		
//		new TheoremGenerater1("CMD/triancenter3_CMD.txt","INT/triancenter3_INT.txt","GDL/triancenter3_GDL.txt");
////		
//	//	new TheoremGenerater1("CMD/thebault3.txt","thebault3_INT.txt","thebault3/thebault3_GDL.txt");

		
	}
}
